cd/entity/Peter Naur· home entities Peter Naur
grep -l @peter naur /news/*.json | wc -l → 5

Peter Naur

mentions 5 type Person feed RSS

// recent coverage 5 mentions

07:38
2026-07-12
rss.com
artificial-intelligence

Computer Science Off Course - Programming as Theory Building

In a podcast episode, Felienne Hermans and Hanna Schraffenberger discuss Peter Naur's 1985 paper 'Programming as Theory Building,' arguing that programming is more than writing code—it involves buildi…

00:00
2026-07-04
vivekhaldar.com
ai-agents

Cognitive Debt and the Future of Programming

Cognitive debt, the inability to keep up with code generated by AI agents, is reframed as leverage that can accelerate development but risks creating systems no human understands. Drawing on Peter Nau…

19:56
2026-06-30
stevekrouse.com
large-language-models

Chad Fowler's "Phoenix Architecture"

Chad Fowler's Phoenix Architecture proposes that AI-generated code should be disposable, drawing parallels to immutable infrastructure. Critics argue that natural language is a poor source of truth an…

10:00
2026-06-24
dijkstrascry.com
ai-research

Using History to Teach Mathematics

A scholar argues that teaching mathematics with a historical dimension improves comprehension, citing Henri Poincaré's views on mathematical heterogeneity and the loss of objectivity in formal rigor. …

// co-occurs with top 8 entities